15

Model checking of pushdown systems for projection temporal logic

Year:
2016
Language:
english
File:
PDF, 851 KB
english, 2016
42

Verification of distributed systems with the axiomatic system of MSVL

Year:
2015
Language:
english
File:
PDF, 556 KB
english, 2015
50

Multi-objective hydraulic optimization and analysis in a minipump

Year:
2015
Language:
english
File:
PDF, 1.80 MB
english, 2015